https://signalduo.com/what-are-the-characteristics-of-formal-groups